backward-circuit Petri nets
colored interpreted Petri nets
colored interpreted Petri nets CIPN
colored timed Petri nets
colored-timed Petri nets
controlled hybrid Petri nets
deterministic and stochastic Petri nets
deterministic time continuous Petri nets
Disas sembly Petri nets